Holographic Computation of Balanced Succinct Permanent Instances
نویسندگان
چکیده
Galperin and Wigderson proposed a succinct representation for graphs, that uses number of bits that is logarithmic in the number of nodes. They proved complexity results for various decision problems on graph properties, when the graph is given in a succinct representation. Later, Papadimitriou and Yannakakis showed, that under the same succinct encoding method, certain class of decision problems on graph properties becomes exponentially hard. In this paper we consider the complexity of the Permanent problem when the graph/matrix is given in a restricted succinct representation. We present an optical architecture that is based on the holographic concept for solving balanced succinct permanent problem. Holography enables to have exponential copying (roughly, n × n in each iteration) rather than constant copying (e.g., doubling in each iteration).
منابع مشابه
Succinct Permanent is NEXP - hard with Many Hard Instances ∗ ( Extended
A long standing issue in theoretical computer science is to find a problem that is both hard to solve and hard to solve on many instances. In this work we prove that the Succinct Permanent mod p is NEXP time hard in the worst case (via randomized polynomial time reduction). We find hard instance for any given heuritsic, either by running the heuristic applying the techniques in [3] toNEXP , or ...
متن کاملSuccinct Permanent Is NEXP-Hard with Many Hard Instances
Finding a problem that is both hard to solve and hard to solve on many instances is a long standing issue in theoretical computer science. In this work, we prove that the Succinct Permanent mod p is NEXP time hard in the worst case (via randomized polynomial time reduction). We find hard instances for any given heuristic, either by running the heuristic, applying the techniques in [5] to NEXP ,...
متن کاملA Simple Optimal Representation for Balanced Parentheses
We consider succinct, or highly space-efficient, representations of a (static) string consisting of n pairs of balanced parentheses, that support natural operations such as finding the matching parenthesis for a given parenthesis, or finding the pair of parentheses that most tightly enclose a given pair. This problem was considered by Jacobson, [Proc. 30th FOCS, 549–554, 1989] and Munro and Ram...
متن کاملDecision Support using Finite Automata and Decision Diagrams
This thesis considers the area of constraint programming, more specifically, knowledge compilation for the use in decision support. In particular decision support for configuration problems is considered. The main contributions of the thesis are the following: Decision support on unbounded string domains A technique is presented that offers decision support for CSPs that contain variables on un...
متن کاملComputation-Trace Indistinguishability Obfuscation and its Applications
We introduce a new, instance-based notion of indistinguishability obfuscation, called computation-trace indistinguishability obfuscation (CiO), for (parallel) RAM computation. CiO only obfuscates a fixed, single computation instance, as opposed to iO which obfuscates a function on all input instances. Specifically, for Π defined by (P, x) consisting of a (parallel) RAM program P and an input x,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010